Substrukturelle Logiken
Projektleitung und Mitarbeiter
Schroeder-Heister, P. (Prof. Dr. phil.),
gemeinsam mit: Dosen, K. (D. phil., Math. Inst., Belgrad)
Forschungsbericht :
1990-1992
Tel./ Fax.:
Projektbeschreibung
Substrukturelle Logiken sind
Logiken mit eingeschraenkten Strukturregeln, insbesondere
Relevanzlogiken, kontraktionsfreie Logiken, lineare Logiken sowie der
Lambek-Kalkuel. Diese Systeme, die frueher aus eher philosophischen
(Relevanzlogiken) oder linguistischen (Lambek-Kalkuel) Motiven
entwickelt worden sind, haben durch die neuere Diskussion um die
lineare Logik auch fuer die Informatik besondere Bedeutung
erhalten. Im Projekt werden grundsaetzliche logische Eigenschaften
solcher Systeme untersucht. Sie werden auch in Ueberlegungen zu
Erweiterungen des Logikprogrammierens einbezogen.
Mittelgeber
Publikationen
Dosen, K.:
A historical introduction to substructural logics. - In: Substructural
Logics (Dosen, K., Schroeder-Heister, P., ed.). - Oxford University
Press, Oxford 1992.
INDEX
HOME
SUCHEN
KONTAKT
LINKS
qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de)
- Stand: 15.09.96
Copyright Hinweise